perm filename PERM.TMP[TEX,DEK] blob
sn#578892 filedate 1981-04-13 generic text, type T, neo UTF8
perm(a,b,c,d,e,f,g,h,i)↑2;
2
(D2) (A E I + B D I + A F H + C D H + B F G + C E G)
(C3) perm(a,b,c,d,e,f,d,e,f)*perm(a,b,c,g,h,i,g,h,i);
(D3) (2 A E F + 2 B D F + 2 C D E) (2 A H I + 2 B G I + 2 C G H)
(C4) ratexpand(d2-d3);
2 2 2 2 2 2 2 2
(D4) A E I + 2 A B D E I + B D I - 2 A E F H I - 2 A B D F H I
2 2 2
- 2 A C D E H I + 2 B C D H I - 2 A B E F G I - 2 B D F G I + 2 A C E G I
2 2 2 2 2 2 2 2
- 2 B C D E G I + A F H + 2 A C D F H + C D H + 2 A B F G H
2 2 2 2 2
- 2 A C E F G H - 2 B C D F G H - 2 C D E G H + B F G + 2 B C E F G
2 2 2
+ C E G
(C5) factor(%);
2 2 2 2 2 2 2 2
(D5) A E I + 2 A B D E I + B D I - 2 A E F H I - 2 A B D F H I
2 2 2
- 2 A C D E H I + 2 B C D H I - 2 A B E F G I - 2 B D F G I + 2 A C E G I
2 2 2 2 2 2 2 2
- 2 B C D E G I + A F H + 2 A C D F H + C D H + 2 A B F G H
2 2 2 2 2
- 2 A C E F G H - 2 B C D F G H - 2 C D E G H + B F G + 2 B C E F G
2 2 2
+ C E G
(C6) ev(%%d5,b=0,c=110);
2 2 2 2 2 2 2
(D6) A E I - 2 A E F H I + A F H
(C7) ev(d5,c=0);
2 2 2 2 2 2 2 2
(D7) A E I + 2 A B D E I + B D I - 2 A E F H I - 2 A B D F H I
2 2 2 2 2 2 2 2
- 2 A B E F G I - 2 B D F G I + A F H + 2 A B F G H + B F G
(C8) d7-d6;
2 2 2 2 2
(D8) 2 A B D E I + B D I - 2 A B D F H I - 2 A B E F G I - 2 B D F G I
2 2 2 2
+ 2 A B F G H + B F G
(C9) ev(d8,a=0);
2 2 2 2 2 2 2
(D9) B D I - 2 B D F G I + B F G
(C10) d8-d9;
2 2
(D10) 2 A B D E I - 2 A B D F H I - 2 A B E F G I + 2 A B F G H
(C11) factor(%);
(D11) 2 A B (D I - F G) (E I - F H)
(C12) factor(d7);
2
(D12) (A E I + B D I - A F H - B F G)
(C13)
[MESSAGE FROM JL at MIT-MC 5:11pm]
Is anyone planning to or accomplished writing TEX in LISP?
(C13) p(a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,tt,s,r,;
Missing ")"
, M , N , O , P , Q **$**
Please rephrase or edit
(C13) pr(a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p):=a*perm(f,g,h,j,k,l,n,o,p)+
b*perm(e,g,h,i,k,l,m,o,p)+c*perm(e,f,h,i,j,l,m,n,p)+d*perm(e,f,g,i,j,k,m,n,o);
(D13) PR(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P) :=
A PERM(F, G, H, J, K, L, N, O, P) + B PERM(E, G, H, I, K, L, M, O, P)
+ C PERM(E, F, H, I, J, L, M, N, P) + D PERM(E, F, G, I, J, K, M, N, O)
(C14) pr(a,b,c,d,e,f,g,h,i,j,k,l,i,j,k,l);
(D14) A (2 F K L + 2 G J L + 2 H J K) + B (2 E K L + 2 G I L + 2 H I K)
+ C (2 E J L + 2 F I L + 2 H I J) + D (2 E J K + 2 F I K + 2 G I J)
(C15) pr(a,b,c,d,e,f,g,h,m,n,ooo,p,m,n,o,p);
(D15) A (2 F O P + 2 G N P + 2 H N O) + B (2 E O P + 2 G M P + 2 H M O)
+ C (2 E N P + 2 F M P + 2 H M N) + D (2 E N O + 2 F M O + 2 G M N)
(C16) d13↑2-d14*d15;
(D16) EXPT(PR(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P) :=
A PERM(F, G, H, J, K, L, N, O, P) + B PERM(E, G, H, I, K, L, M, O, P)
+ C PERM(E, F, H, I, J, L, M, N, P) + D PERM(E, F, G, I, J, K, M, N, O), 2)
- (A (2 F K L + 2 G J L + 2 H J K) + B (2 E K L + 2 G I L + 2 H I K)
+ C (2 E J L + 2 F I L + 2 H I J) + D (2 E J K + 2 F I K + 2 G I J))
(A (2 F O P + 2 G N P + 2 H N O) + B (2 E O P + 2 G M P + 2 H M O)
+ C (2 E N P + 2 F M P + 2 H M N) + D (2 E N O + 2 F M O + 2 G M N))
(C17) pr(a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p)↑2-d14*d15;
(D17) EXPT(A (F K P + G J P + F L O + H J O + G L N + H K N)
+ B (E K P + G I P + E L O + H I O + G L M + H K M)
+ C (E J P + F I P + E L N + H I N + F L M + H J M)
+ D (E J O + F I O + E K N + G I N + F K M + G J M), 2)
- (A (2 F K L + 2 G J L + 2 H J K) + B (2 E K L + 2 G I L + 2 H I K)
+ C (2 E J L + 2 F I L + 2 H I J) + D (2 E J K + 2 F I K + 2 G I J))
(A (2 F O P + 2 G N P + 2 H N O) + B (2 E O P + 2 G M P + 2 H M O)
+ C (2 E N P + 2 F M P + 2 H M N) + D (2 E N O + 2 F M O + 2 G M N))
(C18) ev(%,c=0,d=0);
(D18) EXPT(A (F K P + G J P + F L O + H J O + G L N + H K N)
+ B (E K P + G I P + E L O + H I O + G L M + H K M), 2)
- (A (2 F K L + 2 G J L + 2 H J K) + B (2 E K L + 2 G I L + 2 H I K))
(A (2 F O P + 2 G N P + 2 H N O) + B (2 E O P + 2 G M P + 2 H M O))
(C19) ratexpand(%);
2 2 2 2 2 2 2 2 2 2 2 2
(D19) A F K P + 2 A B E F K P + B E K P + 2 A F G J K P
2 2 2 2 2 2 2 2
+ 2 A B E G J K P + 2 A B F G I K P + 2 B E G I K P + A G J P
2 2 2 2 2 2 2 2
+ 2 A B G I J P + B G I P - 2 A F K L O P - 4 A B E F K L O P
2 2 2
- 2 B E K L O P - 2 A F G J L O P - 2 A B E G J L O P - 2 A B F G I L O P
2 2
- 2 B E G I L O P - 2 A F H J K O P - 2 A B E H J K O P - 2 A B F H I K O P
2 2 2 2 2
- 2 B E H I K O P + 2 A G H J O P + 4 A B G H I J O P + 2 B G H I O P
2 2 2 2
- 2 A F G K L N P - 2 A B E G K L N P - 2 A G J L N P - 2 A B G I L N P
2 2 2 2
+ 2 A F H K N P + 2 A B E H K N P - 2 A G H J K N P - 2 A B G H I K N P
2 2 2 2
- 2 A B F G K L M P - 2 B E G K L M P - 2 A B G J L M P - 2 B G I L M P
2 2 2 2
+ 2 A B F H K M P + 2 B E H K M P - 2 A B G H J K M P - 2 B G H I K M P
2 2 2 2 2 2 2 2 2 2 2 2
+ A F L O + 2 A B E F L O + B E L O + 2 A F H J L O
2 2 2 2 2 2 2 2
+ 2 A B E H J L O + 2 A B F H I L O + 2 B E H I L O + A H J O
2 2 2 2 2 2 2 2 2
+ 2 A B H I J O + B H I O + 2 A F G L N O + 2 A B E G L N O
2 2
- 2 A F H K L N O - 2 A B E H K L N O - 2 A G H J L N O - 2 A B G H I L N O
2 2 2 2 2 2
- 2 A H J K N O - 2 A B H I K N O + 2 A B F G L M O + 2 B E G L M O
2 2
- 2 A B F H K L M O - 2 B E H K L M O - 2 A B G H J L M O - 2 B G H I L M O
2 2 2 2 2 2 2 2 2
- 2 A B H J K M O - 2 B H I K M O + A G L N + 2 A G H K L N
2 2 2 2 2 2 2 2
+ A H K N + 2 A B G L M N + 4 A B G H K L M N + 2 A B H K M N
2 2 2 2 2 2 2 2 2 2
+ B G L M + 2 B G H K L M + B H K M
(C20) ev(d19,a=00=ab=0);
2 2 2 2 2 2 2 2 2 2 2 2
(D20) A F K P + 2 A F G J K P + A G J P - 2 A F K L O P
2 2 2 2 2
- 2 A F G J L O P - 2 A F H J K O P + 2 A G H J O P - 2 A F G K L N P
2 2 2 2 2 2 2 2 2
- 2 A G J L N P + 2 A F H K N P - 2 A G H J K N P + A F L O
2 2 2 2 2 2 2 2 2
+ 2 A F H J L O + A H J O + 2 A F G L N O - 2 A F H K L N O
2 2 2 2 2 2 2 2 2
- 2 A G H J L N O - 2 A H J K N O + A G L N + 2 A G H K L N
2 2 2 2
+ A H K N
(C21) factor(%);
2 2 2 2 2 2 2 2 2
(D21) A (F K P + 2 F G J K P + G J P - 2 F K L O P - 2 F G J L O P
2 2 2
- 2 F H J K O P + 2 G H J O P - 2 F G K L N P - 2 G J L N P + 2 F H K N P
2 2 2 2 2 2 2 2
- 2 G H J K N P + F L O + 2 F H J L O + H J O + 2 F G L N O
2 2 2 2 2
- 2 F H K L N O - 2 G H J L N O - 2 H J K N O + G L N + 2 G H K L N
2 2 2
+ H K N )
(C22) ev(%,g=0,h=0);
2 2 2 2 2 2 2 2
(D22) A (F K P - 2 F K L O P + F L O )
(C23) ev(d19,c=0,d=0,g=0,h=0);
2 2 2 2 2 2 2 2 2 2 2 2
(D23) A F K P + 2 A B E F K P + B E K P - 2 A F K L O P
2 2 2 2 2 2 2 2
- 4 A B E F K L O P - 2 B E K L O P + A F L O + 2 A B E F L O
2 2 2 2
+ B E L O
(C24) factor(%);
2 2
(D24) (A F + B E) (K P - L O)
(C25) logout();
:LOGOUT
MC ITS 1207 Console 63 Free. 18:04:08